module

public import Mathlib.NumberTheory.ArithmeticFunction.Misc

deprecated_module (since := "2025-12-01")
